Control-flow analysis - PDFSEARCH.IO - Document Search Engine

Control-flow analysis
Results: 217

#	Item
101	Automatic Code Generation for SIMD Hardware Accelerators Serge Guelton1 , Fran¸cois Irigoin2 , and Ronan Keryell3 1 T´el´ecom Bretagne, HPCAS, France, Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2010-07-28 09:36:54 Computing Polytope model Control flow Stack Loop dependence analysis Compiler optimizations Loop optimization Loop tiling
102	ALICe: A Framework to Improve Affine Loop Invariant Computation Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-08-26 09:22:06 Loop invariant Convex function Finitary relation Program logic Predicate transformer semantics Function Mathematics Mathematical analysis Control flow
103	Examples of Use of Mgfun Frédéric Chyzak (JulySet up Add to Reading List Source URL: algo.inria.fr Language: English - Date: 2012-07-17 16:19:32 Integer sequences Control flow Eval Recurrence relation Finite difference Factorial Fibonomial coefficient Mathematics Mathematical analysis Combinatorics
104	V viewpoints DOI: Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2015-04-17 18:22:37 Program analysis Programming language theory Setjmp.h Dynamic programming language Type system Eval Static program analysis JavaScript Programming language Software engineering Computing Control flow
105	Challenges in Relational Learning for Real-Time Systems Applications Mark Bartlett1,2 , Iain Bate2 , and Dimitar Kazakov1 1 Artificial Intelligence Group, Department of Computer Science, Add to Reading List Source URL: www.cs.york.ac.uk Language: English - Date: 2012-05-02 15:17:36 Real-time computing Worst-case execution time Compiler construction Compiler optimizations Control flow For loop Machine learning Infinite loop Termination analysis Computing Software engineering Computer programming
106	On the Importance of Program Representations in Static Analysis Xiao Xiao Supervisor: Charles Zhang Department of Computer Science and Engineering The Hong Kong University of Science and Technology Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2013-09-22 04:04:19 Network flow Matroid theory Control flow graph Graph Depth-first search Static single assignment form Connected component Connectivity Tree Graph theory Mathematics Compiler construction
107	DTA++: Dynamic Taint Analysis with Targeted Control-Flow Propagation Min Gyung Kang∗† Stephen McCamant† Pongsin Poosankam∗† Dawn Song† † UC Berkeley ∗ Carnegie Mellon University {mgkang,ppoosank}@cmu.edu Add to Reading List Source URL: bitblaze.cs.berkeley.edu Language: English - Date: 2013-03-28 20:19:28 Dataflow Symbolic execution Algorithm Information flow Dependence analysis Pointer Information Taint checking Computing Software engineering Parallel computing
108	A Study of “Wheat” and “Chaff” in Source Code Martin Velez∗ ∗ Dong Qiu† Add to Reading List Source URL: arxiv.org Language: English - Date: 2015-02-05 20:50:19 Data types Object-oriented programming Java programming language Lexicon Linguistics Vocabulary Lexical analysis This Control flow Software engineering Computing Computer programming
109	On the Importance of Program Representations in Static Analysis Xiao Xiao Supervisor: Charles Zhang Department of Computer Science and Engineering Hong Kong University of Science and Technology Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2013-09-22 04:01:20 Theoretical computer science Static single assignment form Control flow graph Applied mathematics Representation theory Graph Control flow Signal-flow graph Compiler construction Graph theory Mathematics